hinge theorem